(also nonabelian homological algebra)
Context
Basic definitions
Stable homotopy theory notions
Constructions
Lemmas
Homology theories
Theorems
algebraic topology – application of higher algebra and higher category theory to the study of (stable) homotopy theory
The notion of spectral sequence is an algorithm or computational tool in homological algebra and more generally in homotopy theory which allows to compute chain homology groups/homotopy groups of bi-graded objects from the homology/homotopy of the two graded components.
Notably there is a spectral sequence for computing the homology of the total complex of a double complex from the homology of its row and column complexes separately. This in turn allows to compute derived functors of composite functors from the double complex obtained by non-totally deriving the two functors separately (called the Grothendieck spectral sequence). By choosing various functors and here this gives rise to various important classes of examples of spectral sequences, see below.
More concretely, a homology spectral sequence is a sequence of graded chain complexes that provides the higher order corrections to the naïve idea of computing the homology of the total complex of a double complex : by first computing those of the vertical differential, then those of the horizontal differential induced on these vertical homology groups (or the other way around). This simple idea in general does not produce the correct homology groups of , but it does produce a “first-order approximation” to them, in a useful sense. The spectral sequence is the sequence of higher-order corrections that make this naive idea actually work.
Being, therefore, an iterative perturbative approximation scheme of bigraded differential objects, fully-fledged spectral sequences can look a bit intricate. However, a standard experience in mathematical practice is that for most problems of practical interest the relevant spectral sequence “perturbation series” yields the exact result already at the second stage. This reduces the computational complexity immensely and makes spectral sequences a wide-spread useful computational tool.
Despite their name, there seemed to be nothing specifically “spectral” about spectral sequences, for any of the technical meanings of the word spectrum. Together with the concept, this term was introduced by Jean Leray and has long become standard, but was never really motivated (see p. 5 of Chow). But then, by lucky coincidence it turns out in the refined context of stable (∞,1)-category theory/stable homotopy theory that spectral sequences frequently arise by considering the homotopy groups of sequences of spectra. This is discussed at spectral sequence of a filtered stable homotopy type.
While therefore spectral sequences are a notion considered in the context of homological algebra and more generally in stable homotopy theory, there is also an “unstable” or nonabelian variant of the notion in plain homotopy theory, called homotopy spectral sequence.
We give the general definition of a (co)homology spectral sequence. For motivation see the example Spectral sequence of a filtered complex below.
Throughout, let be an abelian category.
A cohomology spectral sequence in is
a family of objects in , for all integers with
(for a fixed these are said to form the -th page of the spectral sequence)
for each as above a morphism (called the differential)
satisfying (more precisely, )
isomorphisms where
the chain cohomology is given by
Analogously, a homology spectral sequence is collection of objects with the differential of degree .
Let be a spectral sequence such that for each there is such that for all we have
Then one says equivalently that
the bigraded object
is the limit term of the spectral sequence;
the spectral sequence abuts to .
If for a spectral sequence there is such that all differentials on pages after vanish, , then is a limit term for the spectral sequence. One says in this cases that the spectral sequence degenerates at .
By the defining relation
the spectral sequence becomes constant in from on if all the differentials vanish, so that for all .
If for a spectral sequence there is such that the th page is concentrated in a single row or a single column, then the spectral sequence degenerates on this pages, example , hence this page is a limit term, def. . One says in this case that the spectral sequence collapses on this page.
For the differentials of the spectral sequence
have domain and codomain necessarily in different rows an columns (while for both are in the same row and for both coincide). Therefore if all but one row or column vanish, then all these differentials vanish.
A spectral sequence converges weakly to a graded object with exhaustive filtering , traditionally denoted
if the associated graded complex of is the limit term of , def. :
Furthermore one says that
converges if is also a Hausdorff filtration;
converges strongly if is also a complete Hausdorff filtration.
(Boardman 99, def. 2.5) See also conditional convergence of spectral sequences.
In practice, spectral sequences are often referred to via their first interesting page, usually the first or the second. Then one often uses notation such as
or
to be read as “There is a spectral sequence whose first/second page is as shown on the left and which converges (weakly, strongly, or conditionally) to a filtered object as shown on the right.”
The nature of the convergence condition in def. is well illuminated for instance by the Serre-Atiyah-Hirzebruch spectral sequence: for a generalized cohomology theory and a finite CW-complex, then it converges to the -cohomology of , filtered by -cohomology relative to the skeleta . Moreover, the second page is the ordinary cohomology of with coefficients in the -ground ring, like so:
Here the elements on the left in bidegree are manifestly given by cocycles that trivialize on the -skeleton (being -cocycles), hence it is natural that these contribute to the filtering stage .
In applications one is interested in computing the and uses spectral sequences converging to this as tools for approximating in terms of the given filtration.
Therefore usually spectral sequences are required to converge in each degree, or even that for each pair there exists an such that for all , .
If collapses at , then it converges to with being the unique entry on the non-vanishing row/column with .
A spectral sequence is called a bounded spectral sequence if for all the number of non-vanishing terms of the form is finite.
A spectral sequence is called
a first quadrant spectral sequence if all terms except possibly for vanish;
a third quadrant spectral sequence if all terms except possibly for vanish.
First notice that if a spectral sequence has at most non-vanishing terms of total degree on page , then all the following pages have at most at these positions non-vanishing terms, too, since these are the homologies of the previous terms.
Therefore for a bounded spectral sequence for each there is such that for all and all . Similarly there is such for all and all .
We claim then that the limit term of the bounded spectral sequence is in position given by the value for
This is because for such we have
Therefore
Given a spectral sequence, then even if it converges strongly (def. ), computing its infinity-page still just gives the associated graded of the filtered object that it converges to, not the filtered object itself. The latter is in each filter stage an extension of the previous stage by the corresponding stage of the infinity-page, but there are in general several possible extensions (the trivial extension or some twisted extensions). The problem of determining these extensions and hence the problem of actually determining the filtered object from a spectral sequence converging to it is often referred to as the extension problem.
More in detail, consider, for definiteness, a cohomology spectral sequence (def. ) converging (def. ) to some filtered
Then by definition of convergence there are isomorphisms
Equivalently this means that there are short exact sequences of the form
for all . The extension problem then is to inductively deduce from knowledge of and .
In good cases these short exact sequences happen to be split exact sequences, which means that the extension problem is solved by the direct sum
But in general this need not be the case.
One sufficient condition that these exact sequences split is that they consist of homomorphisms of -modules, for some , and that are projective modules (for instance free modules) over . Because then the Ext-group vanishes, and hence all extensions are trivial, hence split.
So for instance for every spectral sequence in vector spaces the extension problem is trivial (since every vector space is a free module).
The basic class of examples are
which compute the cohomology of a filtered complex from the cohomologies of its associated graded objects.
From this one obtains as a special case the class of
which compute the cohomology of the total complex of a double complex using the two canonical filtrations of this by row- and by column-degree.
From this in turn one obtains as a special case the class of
which compute the derived functor of the composite of two functors from the spectral sequence of the double complex .
Many special cases of this for various choices of and go by special names, this we tabulate at
The fundamental example of a spectral sequence, from which essentially all the other examples arise as special cases, is the spectral sequence of a filtered complex. (See there for details). Or more generally in stable homotopy theory: the spectral sequence of a filtered stable homotopy type.
If a cochain complex is equipped with a filtration , there is an induced filtration of its cohomology groups, according to which levels of the filtration contain representatives for the various cohomology classes.
A filtration also gives rise to an associated graded object , whose grades are the successive level inclusion cokernels. Generically, the operations of grading and cohomology do not commute:
But the spectral sequence associated to a filtered complex , passes through in the page and in good cases converges to .
The total complex of a double complex is naturally filtered in two ways: by columns and by rows. By the above spectral sequence of a filtered complex this gives two different spectral sequences associated computing the cohomology of a double complex from the cohomologies of its rows and columns. Many other classes of spectral sequences are special cases of this cases, notably the Grothendieck spectral sequence and its special cases.
This is discussed at spectral sequence of a double complex.
From the spectral sequence of a double complex one obtains as a special case a spectral sequence that computes hyper-derived functors.
(…)
The Grothendieck spectral sequence computes the composite of two derived functors from the two derived functors separately.
Let be two left exact functors between abelian categories.
Write for the cochain cohomology of the derived functor of in degree etc. .
If sends injective objects of to -acyclic objects in then for each there is a first quadrant cohomology spectral sequence
that converges to the right derived functor of the composite functor
Moreover
the edge maps in this spectral sequence are the canonical morphisms
induced from applying to an injective resolution and the morphism
the exact sequence of low degree terms is
This is called the Grothendieck spectral sequence.
Since for an injective resolution of the complex is a chain complex not concentrated in a single degree, we have that is equivalently the hyper-derived functor evaluation .
Therefore the second spectral sequence discussed at hyper-derived functor spectral sequences converges as
Now since by construction this is a spectral sequence
This is the Grothendieck spectral sequence.
The Leray spectral sequence is the special case of the Grothendieck spectral sequence for the case where the two functors being composed are a push-forward of sheaves of abelian groups along a continuous map followed by the push-forward to the point. This yields a spectral sequence that computes the abelian sheaf cohomology on in terms of the abelian sheaf cohomology on .
Let be suitable sites and be a morphism of sites. () Let and be the model categories of complexes of sheaves of abelian groups. The direct image and global section functor compose to :
Then for a sheaf of abelian groups on there is a cohomology spectral sequence
that converges as
and hence computes the cohomology of with coefficients in in terms of the cohomology of with coefficients in the push-forward of .
For a ring write Mod for its category of modules. Given a homomorphism of ring and an -module there are composites of base change along with the hom-functor and the tensor product functor
The derived functors of and are the Ext- and the Tor-functors, respectively, so the Grothendieck spectral sequence applied to these composites yields base change spectral sequence for these.
The above examples are all built on the spectral sequence of a filtered complex. An alternatively universal construction builds spectral sequences from exact couples.
An exact couple is an exact sequence of three arrows among two objects
These creatures construct spectral sequences by a two-step process:
is again an exact couple.
The sequence of complexes is a spectral sequence, by construction. For more see at exact couple – Spectral sequences from exact couples
Examples of exact couples can be constructed in a number of ways. Notably there are naturally exact couples of towers of (co-)fibrations. For instance Adams spectral sequences are usually produced this way (from towers which are Adams resolutions). For a list of examples in this class see below.
Importantly, any short exact sequence involving two distinct chain complexes provides an exact couple among their total homology complexes, via the Mayer-Vietoris long exact sequence; in particular, applying this procedure to the relative homology of a filtered complex gives precisely the spectral sequence of the filtered complex described (???) somewhere else on this page. For another example, choosing a chain complex of flat modules , tensoring with the short exact sequence
gives the exact couple
in which is the mod- Bockstein homomorphism.
The exact couple recipe for spectral sequences is notable in that it doesn’t mention any grading on the objects ; trivially, an exact couple can be specified by a short exact sequence , although this obscures the focus usually given to . In applications, a bi-grading is usually induced by the context, which also specifies bidegrees for the initial maps , leading to the conventions mentioned earlier.
The following list of examples orders the various classes of spectral sequences by special cases: items further to the right are special cases of items further to the left.
spectral sequence of a filtered complex (approximate chain homology by higher-order relative homology in the presence of a filtering)
Atiyah-Hirzebruch spectral sequence (compute generalized homology of a Serre fibration in terms of that of the base with coefficients in that of the fibers)
Eilenberg-Moore spectral sequence (compute homology of homotopy fiber products)
spectral sequence of a double complex (compute homology of total complex by filtering by row/column degree)
Grothendieck spectral sequence (compute composition of two derived functors)
base change spectral sequence (compute base change/extension of scalars in two stages)
Leray spectral sequence (compute global sections in two stages)
Hochschild-Serre spectral sequence (compute group cohomology in two stages)
Here is a more random list (using material from Wikipedia). Eventually to be merged with the above.
Adams-Novikov spectral sequence, converging to homotopy groups of connective spectra
chromatic spectral sequence for calculating the initial terms of the Adams-Novikov spectral sequence
Atiyah-Hirzebruch spectral sequence of an extraordinary cohomology theory;
Bar spectral sequence? for the homology of the classifying space of a group
Barratt spectral sequence? converging to the homotopy of the initial space of a cofibration
Bloch-Lichtenbaum spectral sequence? converging to the algebraic K-theory of a field
Bockstein spectral sequence relating the homology with coefficients and the homology reduced
Bousfield-Kan spectral sequence converging to the homotopy colimit of a functor
Cartan-Leray spectral sequence? converging to the homology of a quotient space
Čech-to-derived functor spectral sequence? from Čech cohomology to abelian sheaf cohomology
change of rings spectral sequences? for calculating Tor and Ext groups of modules
Connes spectral sequences? converging to the cyclic homology of an algebra
EHP spectral sequence converging to stable homotopy groups of spheres
Eilenberg-Moore spectral sequence for the singular cohomology of the pullback of a fibration
Federer spectral sequence? converging to homotopy groups of a function space
Frölicher spectral sequence starting from the Dolbeault cohomology and converging to the algebraic de Rham cohomology of a variety
Grothendieck spectral sequence for composing derived functors
Hodge-de Rham spectral sequence converging to the algebraic de Rham cohomology of a variety
Hurewicz spectral sequence? for calculating the homology of a space from its homotopy groups
hyperhomology spectral sequence? for calculating hyperhomology?
Künneth spectral sequence for calculating the homology of a tensor product of differential graded algebras
Leray spectral sequence converging to abelian sheaf cohomology
Lyndon-Hochschild?Serre spectral sequence? in group cohomology
May spectral sequence for calculating the Tor or Ext groups of an algebra
Miller spectral sequence? converging to the stable homology? of a space
Quillen spectral sequence? for calculating the homotopy of a simplicial group
van Est spectral sequence? converging to relative Lie algebra cohomology
van Kampen spectral sequence? for calculating the homotopy of a wedge of spaces.
(mapping lemma)
If is a morphism of spectral sequences such that for some we have that is an isomorphism, then also is an isomorphism for all .
(classical convergence theorem)
(…)
This is recalled in (Weibel, theorem 5.51).
A first quadrant spectral sequence is one for wich all pages are concentrated in the first quadrant of the -plane, in that
If the th page is concentrated in the first quadrant, then so the page. So if the first one is, then all are.
Every first quadrant spectral sequence converges at from on
If a first quadrant spectral sequence converges
then each has a filtration of length
and we have
.
Cohomological spectral sequences are compatible with cup product structure on the -page. (e.g. Hutchings 11, sections 5 and 6)
Spectral sequences were originally introduced in 1946 by Jean Leray in the paper
An elementary pedagogical introduction is in
Textbook accounts include
John McCleary, A User’s Guide to Spectral Sequences, Cambridge University Press
Charles Weibel, chapter 5, An introduction to homological algebra Cambridge studies in advanced mathematics 38 (1994)
Raoul Bott, Loring Tu, section 14 of Differential forms in algebraic topology, Graduate Texts in Mathematics 82, Springer 1982. xiv+331 pp.
Hal Schenck, Chapter 9: Cohomology and spectral sequences (pdf) .
Alan Hatcher, Spectral sequences in algebraic topology (web)
Stanley Kochmann, Bordism, Stable Homotopy and Adams Spectral Sequences, AMS 1996
Dai Tamaki, Akira Kono, Chapter 5 in: Generalized Cohomology, Translations of Mathematical Monographs, American Mathematical Society, 2006 (ISBN: 978-0-8218-3514-2)
The general discussion in the context of stable (∞,1)-category theory (the spectral sequence of a filtered stable homotopy type) is in section 1.2.2 of
A review Master thesis is
Reviews of and lecture notes on standard definitions and facts about spectral sequences include
Matthew Greenberg, Spectral sequences (pdf)
Michael Hutchings, Introduction to spectral sequences (pdf)
Daniel Murfet, Spectral sequences (pdf)
Neil Strickland, Spectral sequences (pdf)
Ravi Vakil, Spectral Sequences: Friend or Foe? (pdf)
Brandon Williams, Spectral sequences (pdf)
Michael Boardman, Conditionally convergent spectral sequences, 1999 (pdf)
See also
A. Romero, J. Rubio, F. Sergeraert, Computing spectral sequences (pdf)
Eric Peterson, Ext chart software for computing spectral sequences
Homotopy spectral sequences in model categories are discussed in
Spectral sequences in general categories with zero morphisms are discussed in
Discussion from a perspective of homotopy type theory (see also spectral sequences in homotopy type theory):
Mike Shulman, Spectral sequences 2013 (part I, part II)
Floris van Doorn, §5 in: On the Formalization of Higher Inductive Types and Synthetic Homotopy Theory (2018) [arXiv:1808.10690]
and implementation in Lean-HoTT is in
Last revised on January 23, 2023 at 23:06:55. See the history of this page for a list of all contributions to it.